translation
Class FOLTranslator

java.lang.Object
  extended by translation.FOLTranslator

public class FOLTranslator
extends java.lang.Object


Constructor Summary
FOLTranslator()
           
 
Method Summary
private static java.lang.String conceptDisjointness(TBox t)
           
static java.lang.String translate(TBox t)
           
private static java.lang.String translateConceptAttributeInclusionAssertion(InclusionAssertion ass)
           
private static java.lang.String translateConceptInclusionAssertion(TBox t, InclusionAssertion ass)
           
private static java.lang.String translateFunctionalityAssertion(FunctionalityAssertion ass)
           
private static java.lang.String translateIdentificationAssertion(IdentificationAssertion ass)
           
private static java.lang.String translateInclusionAssertion(TBox t, InclusionAssertion ass)
           
private static java.lang.String translateRoleAttributeInclusionAssertion(InclusionAssertion ass)
           
private static java.lang.String translateRoleInclusionAssertion(InclusionAssertion ass)
           
private static java.lang.String translateValueDomainInclusionAssertion(InclusionAssertion ass)
           
private static java.lang.String valueDisjointness(TBox t)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FOLTranslator

public FOLTranslator()
Method Detail

translate

public static java.lang.String translate(TBox t)

valueDisjointness

private static java.lang.String valueDisjointness(TBox t)

conceptDisjointness

private static java.lang.String conceptDisjointness(TBox t)

translateInclusionAssertion

private static java.lang.String translateInclusionAssertion(TBox t,
                                                            InclusionAssertion ass)

translateConceptAttributeInclusionAssertion

private static java.lang.String translateConceptAttributeInclusionAssertion(InclusionAssertion ass)

translateRoleAttributeInclusionAssertion

private static java.lang.String translateRoleAttributeInclusionAssertion(InclusionAssertion ass)

translateRoleInclusionAssertion

private static java.lang.String translateRoleInclusionAssertion(InclusionAssertion ass)

translateFunctionalityAssertion

private static java.lang.String translateFunctionalityAssertion(FunctionalityAssertion ass)

translateIdentificationAssertion

private static java.lang.String translateIdentificationAssertion(IdentificationAssertion ass)

translateConceptInclusionAssertion

private static java.lang.String translateConceptInclusionAssertion(TBox t,
                                                                   InclusionAssertion ass)

translateValueDomainInclusionAssertion

private static java.lang.String translateValueDomainInclusionAssertion(InclusionAssertion ass)